module 0x42::m {
    fun main() {
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 ) +
        (128 >> 7 ) +
        (255 / 2 ) -
        (255 % 2 ) +
        (254 + 1 ) -
        (255 - 255 ) +
        (255 & 255 ) -
        (255 & 255 ) -
        (255 * 0 ) +
        (128 >> 9 ) +
        (255 - 255 + 255 );
    }
}
